TAGs: sys.stdin.read() in python